41. Optimization techniques for solving complex problems /
پدیدآورنده: edited by Enrique Alba [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Mathematical optimization.,Problem solving.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematical optimization.,Problem solving.
رده :
QA76
.
9
.
M35
O78
2009eb
42. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
پدیدآورنده: edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics.,Artificial intelligence.,Engineering.
رده :
QA76
.
9
.
S63
E358
2014
43. Proceedings of the seventh International Conference on Management Science and Engineering Management : focused on electrical and information technology
پدیدآورنده: / Jiuping Xu, (Professor of management science)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Economics / Management Science,Operation Research/Decision Theory,Computer Engineering
رده :
HB
44. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
45. Representations for Genetic and Evolutionary Algorithms
پدیدآورنده: by Franz Rothlauf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Engineering mathematics.
46. Satisfiability problem :
پدیدآورنده: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
47. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
48. Targeted learning in data science :
پدیدآورنده: Mark J. van der Laan, Sherri Rose.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine learning.,Mathematical statistics.,Biomedical engineering.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Life sciences: general issues.,Machine learning.,Mathematical statistics.,Mathematics-- Probability & Statistics-- General.,Medical-- Allied Health Services-- Medical Technology.,Medical-- Biostatistics.,Medical-- Public Health.,Probability & statistics.,Public health & preventive medicine.,Science-- Life Sciences-- General.
رده :
Q325
.
5
49. Ten applications of graph theory
پدیدآورنده: Hansjoachim Walther.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science.,Discrete Mathematics in Computer Science.,Graph theory.
رده :
QA166
.
H367
9999
50. The beauty of mathematics in computer science /
پدیدآورنده: Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019
51. The design and analysis of computer algorithms /
پدیدآورنده: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
